Abstraction: definition of